contravariant system

反变系统